home *** CD-ROM | disk | FTP | other *** search
- #!/bin/sh
-
- set -e
-
- # base-installer bind mounts /target/dev on /dev/.static/dev
- # unmount if mounted on same device as /target
- mp_stdev=$(grep -E '^[^ ]+ /dev/\.static/dev' /proc/mounts | cut -d" " -f1)
- if [ "$mp_stdev" ] && grep -q "^$mp_stdev /target" /proc/mounts; then
- umount /dev/.static/dev
- fi
-
- cat /proc/mounts |
- while read dev dir type options dump pass; do
- echo $dir
- done |
- grep '^/target' |
- sort |
- {
- # We miss the option -r of sort
- dirs=''
- while read dir; do
- dirs="$dir
- $dirs"
- done
- echo -n "$dirs"
- } |
- while read dir; do
- umount $dir
- done
-